Methode zur Modellierung und Analyse von Geschäftsprozessen zur Unterstützung des Business process reengineering

CLASS Modellkonstrukt; PRIVATE Beschreibung: STRING; END_CLASS; CLASS Kommunikationsbeziehung SUBCLASS OF Modellkonstrukt; PRIVATE Mitteilung: STRING; Übermittlungsart: Übermittlungsart; Übermittlungsdauer: REAL; Empfänger, Sender: POINTER TO Aktives_Modellelement; Übermittlungsobjekt: LIST [0:?] OF POINTER TO Passives_Modellelement; PUBLIC CONSTRUCTOR erzeugen(); VIRTUAL DESTRUCTOR löschen; END_CLASS; CLASS Benötigte_Kapazität_OE SUBCLASS OF Modellkonstrukt; PRIVATE Rolle: STRING; Kapazität: REAL; Organisationseinheit: POINTER TO Organisationseinheit; PUBLIC CONSTRUCTOR erzeugen(); VIRTUAL DESTRUCTOR löschen; END_CLASS; CLASS Benötigte_Kapazität_IT SUBCLASS OF Modellkonstrukt; PRIVATE Kapazität: REAL; IT_Applikation: POINTER TO IT_Applikation; PUBLIC CONSTRUCTOR erzeugen(); VIRTUAL DESTRUCTOR löschen; END_CLASS; CLASS Einsatz_im_Team SUBCLASS OF Modellkonstrukt; PRIVATE Stellenkapazität_Team: REAL; Team: POINTER TO Team; PUBLIC FUNCTION Stellenkapazität_Team(): REAL; CONSTRUCTOR erzeugen(); VIRTUAL DESTRUCTOR löschen; END_CLASS; Anhang B Formale Spezifikation der Modellierungssprache Seite 199 CLASS Input_Output_Relation SUBCLASS OF Modellkonstrukt; PRIVATE Dauer: REAL; Häufigkeit: REAL; Geschäftsprozess: POINTER TO Geschäftsprozess; Inputobjekte, Outputobjekte: LIST [1:?] OF POINTER TO Passives_Modellelement; PUBLIC FUNCTION Häufigkeit_ausgeben(): REAL; CONSTRUCTOR erzeugen(); VIRTUAL DESTRUCTOR löschen; END_CLASS; CLASS Ablaufplan SUBCLASS OF Modellkonstrukt; PRIVATE Name: STRING; Start_Input: POINTER TO Input_Output_Relation; PUBLIC FUNCTION Häufigkeit(): REAL; PROCEDURE GP_Folge_anzeigen(); CONSTRUCTOR erzeugen(); VIRTUAL DESTRUCTOR löschen; END_CLASS; ABSTRACT CLASS Organisationseinheit SUBCLASS OF Modellkonstrukt; PRIVATE Name: STRING; Mitwirkung_an_GP: SET [1:?] OF POINTER TO Geschäftsprozeß; PUBLIC CONSTRUCTOR erzeugen(); VIRTUAL DESTRUCTOR löschen; END_CLASS;CLASS Organisationseinheit SUBCLASS OF Modellkonstrukt; PRIVATE Name: STRING; Mitwirkung_an_GP: SET [1:?] OF POINTER TO Geschäftsprozeß; PUBLIC CONSTRUCTOR erzeugen(); VIRTUAL DESTRUCTOR löschen; END_CLASS; ABSTRACT CLASS Aktives_Modellelement SUBCLASS OF Modellkonstrukt; PRIVATE Name: STRING; Zu_empfangende_Kommunikation, Aufzubauende_Kommunikation: LIST [0:?] OF POINTER TO Kommunikationsbeziehung; END_CLASS;CLASS Aktives_Modellelement SUBCLASS OF Modellkonstrukt; PRIVATE Name: STRING; Zu_empfangende_Kommunikation, Aufzubauende_Kommunikation: LIST [0:?] OF POINTER TO Kommunikationsbeziehung; END_CLASS; ABSTRACT CLASS Passives_Modellelement SUBCLASS OF Modellkonstrukt; PRIVATE Name: STRING; END_CLASS;CLASS Passives_Modellelement SUBCLASS OF Modellkonstrukt; PRIVATE Name: STRING; END_CLASS; Anhang B Formale Spezifikation der Modellierungssprache Seite 200 CLASS Team SUBCLASS OF Organisationseinheit; PRIVATE Mitwirkende_Stellen: LIST [2:?] OF POINTER TO Stelle; PUBLIC FUNCTION Kapazität(): REAL; CONSTRUCTOR erzeugen(); VIRTUAL DESTRUCTOR löschen(); END_CLASS; CLASS Abteilung SUBCLASS OF Organisationseinheit; PRIVATE Stellen: LIST [1:?] OF POINTER TO Stelle; Unterabteilungen: LIST [0:?] OF POINTER TO Abteilung; Oberabteilung: OPTIONAL POINTER TO Abteilung; PUBLIC FUNCTION aktuelle_Kapazität(): REAL; FUNCTION potentielle_Kapazität(): REAL; CONSTRUCTOR erzeugen(); VIRTUAL DESTRUCTOR löschen(); END_CLASS; CLASS Stelle SUBCLASS OF Organisationseinheit; PRIVATE Kapazität: REAL; Abteilung: POINTER TO Abteilung; Einsatz_im_Team: LIST [0:?] OF POINTER TO Einsatz_im_Team; PUBLIC FUNCTION Kapazität(): REAL; FUNCTION Abteilungs_Restkapazität(): REAL; CONSTRUCTOR erzeugen(); VIRTUAL DESTRUCTOR löschen(); WHERE R1: Kap: REAL; i: INTEGER; Kap := 0.0; REPEAT FOR i =1 TO HIINDEX(Einsatz_im_Team); Kap := Kap + Einsatz_im_Team[i]^.Stellenkapazität_Team; END_REPEAT; RETURN(Kap <= 1); END_CLASS; ABSTRACT CLASS Technische_Ressource SUBCLASS OF (Aktives_Modellelement, VIRTUAL Passives_ Modellelement); PRIVATE Zustand: TR_Zustand; zugreifende_Geschäftsprozesse: SET [0:?] OF POINTER TO Geschäftsprozess; PUBLICCLASS Technische_Ressource SUBCLASS OF (Aktives_Modellelement, VIRTUAL Passives_ Modellelement); PRIVATE Zustand: TR_Zustand; zugreifende_Geschäftsprozesse: SET [0:?] OF POINTER TO Geschäftsprozess; PUBLIC Anhang B Formale Spezifikation der Modellierungssprache Seite 201 PROCEDURE speichern(); FUNCTION ausgeben(Dauer: REAL): Passives_Modellelement; END_CLASS; CLASS Externes_Objekt SUBCLASS OF Aktives_Modellelement; PRIVATE Zustand: ExO_Zustand; Bestandteile: LIST [0:?] OF POINTER TO Externes_Objekt; übergeordnetes_Externes_Objekt: OPTIONAL POINTER TO Externes_Objekt; PUBLIC PROCEDURE empfangen(Objekt: Passives_Modellelement); PROCEDURE übermitteln(Objekt: Passives_Modellelement); PROCEDURE einholen(Objekt: Passives Modellement); CONSTRUCTOR erzeugen(); VIRTUAL DESTRUCTOR löschen(); END_CLASS; CLASS Geschäftsprozess SUBCLASS OF Aktives_Modellelement; PRIVATE Nummer: STRING; Zustand: GP_Zustand; Typ: Geschäftsprozess_Typ; bearbeitende_Organisationseinheit: LIST [1:?] OF POINTER TO Benötigte_Kapazität_OE; eingesetzte_IT_Applikation: LIST [0:?] OF POINTER TO Benötigte_Kapazität_IT; eingesetzter_Papier_Speicher: LIST [0:?] OF POINTER TO Papier_Speicher; eingesetzter_Material_Speicher: LIST [0:?] OF POINTER TO Material_Speicher; Inputobjekte, Outputobjekte: LIST [1:?] OF POINTER TO Passives_Modellelement; Sub_Geschäftsprozesse: LIST [0:?] OF POINTER TO Geschäftsprozess; Ober_Geschäftsprozess: OPTIONAL POINTER TO Geschäftsprozess; Input_Output_Relationen: LIST [1:?] OF POINTER TO Input_Output_Relation; Ablaufpläne: LIST [1:?] OF POINTER TO Ablaufplan; PUBLIC PROCEDURE starten(); PROCEDURE übermitteln(Objekt: Passives_Modellelement); CONSTRUCTOR erzeugen(); VIRTUAL DESTRUCTOR löschen(); PRIVATE PROCEDURE abbrechen(); PROCEDURE beenden(); WHERE R1: ( self.Typ = Leistungserstellungprozess) AND (SIZEOF(QUERY (r <* Passives_Modellelement | (TYPEOF(self.Input) = OMEGA.Papier_Speicher) OR (TYPEOF(self.Input) = OMEGA.IT_Applikation) OR (TYPEOF(self.Input) = OMEGA.Material_Speicher))) = 0); END_CLASS; Anhang B Formale Spezifikation der Modellierungssprache Seite 202 CLASS IT_Applikation SUBCLASS OF Technische_Ressource; PRIVATE Kapazität: INTEGER; bearbeitbare_Formate: STRING; Bearbeitungsform: IT_Bearbeitungsform; Plattform: STRING; Schnittstellen_zu: SET [0:?] OF POINTER TO IT_Applikation; Subsysteme: LIST [0:?] OF POINTER TO IT_Applikation; übergeordnete_IT_Applikation: OPTIONAL POINTER TO IT_Applikation; gespeicherte_IT_Informationsobjekte: LIST [0:?] OF POINTER TO IT_Informationsobjekt; PUBLIC PROCEDURE speichern(IT_Objekt: IT_Informationsobjekt); FUNCTION ausgeben(Dauer: REAL): IT_Informationsobjekt; CONSTRUCTOR erzeugen(); VIRTUAL DESTRUCTOR löschen(); END_CLASS; CLASS Papier_Speicher SUBCLASS OF Technische_Ressource; PRIVATE Standort: STRING; Art: Papierspeicherart; Teilspeicher: LIST [0:?] OF POINTER TO Papier_Speicher; übergeordneter_Papier_Speicher: OPTIONAL POINTER TO Papier_Speicher; gespeicherte_Papierinformationsobjekte: LIST [0:?]OF POINTER to Papierinformationsobjekt; PUBLIC PROCEDURE speichern(Papierobjekt: Papierinformationsobjekt); FUNCTION ausgeben(Dauer: REAL): Papierinformationsobjekt; CONSTRUCTOR erzeugen(); VIRTUAL DESTRUCTOR löschen(); END_CLASS; CLASS Material_Speicher SUBCLASS OF Technische_Ressource; PRIVATE Standort: STRING; bestandsführender_Geschäftsprozess: OPTIONAL POINTER TO Geschäftsprozess; Teilspeicher: LIST [0:?] OF POINTER TO Material_Speicher; übergeordneter_Material_Speicher: OPTIONAL POINTER TO Material_Speicher; gespeicherte_Materialobjekte: LIST [0:?] OF POINTER TO Materialobjekt; PUBLIC PROCEDURE speichern(Materialobjekt: Materialobjekt); FUNCTION ausgeben(Dauer: REAL): Materialobjekt; CONSTRUCTOR erzeugen(); VIRTUAL DESTRUCTOR löschen(); END_CLASS; Anhang B Formale Spezifikation der Modellierungssprache Seite 203 ABSTRACT CLASS Transformierbares_BO SUBCLASS OF Passives_Modellelement; PRIVATE Kopien: LIST [0:?]OF POINTER TO Transformierbares_BO Kopie_von: LIST [0:?]OF POINTER TO Transformierbares_BO; modifiziert_durch: LIST [0:?]OF POINTER TO Geschäftsprozess END_CLASS;CLASS Transformierbares_BO SUBCLASS OF Passives_Modellelement; PRIVATE Kopien: LIST [0:?]OF POINTER TO Transformierbares_BO Kopie_von: LIST [0:?]OF POINTER TO Transformierbares_BO; modifiziert_durch: LIST [0:?]OF POINTER TO Geschäftsprozess END_CLASS; CLASS IT_Informationsobjekt SUBCLASS OF Transformierbares_BO; PRIVATE Format: STRING; speichernde IT_Applikation: OPTIONAL POINTER TO IT-Applikation; IT_Informationsbestandteile: LIST [0:?] OF POINTER TO IT_Informationsobjekt; übergeordnetes_Aggregat: OPTIONAL POINTER TO IT_Informationsobjekt; PUBLIC CONSTRUCTOR erzeugen(); VIRTUAL DESTRUCTOR löschen(); END_CLASS; CLASS Papierinformationsobjekt SUBCLASS OF Transformierbare_BO; PRIVATE speichernder_Papier_Speicher: OPTIONAL POINTER TO Papier_Speicher; Papierinformationsbestandteile: LIST [0:?] OF POINTER TO Papierinformationsobjekt; übergeordnetes_Aggregat: OPTIONAL POINTER TO Papierinformationsobjekt; PUBLIC CONSTRUCTOR erzeugen(); VIRTUAL DESTRUCTOR löschen(); END_CLASS; CLASS Materialobjekt SUBCLASS OF Passives_Modellelement; PRIVATE speichernder_Material_Speicher: OPTIONAL POINTER TO Papier_Speicher; Materialbestandteile: LIST [0:?] OF POINTER TO Materialobjekt; übergeordnetes_Aggregat: OPTIONAL POINTER TO Materialobjekt; PUBLIC CONSTRUCTOR erzeugen(); VIRTUAL DESTRUCTOR löschen(); END_CLASS; CLASS Mündliches_Informationsobjekt SUBCLASS OF Passives_Modellelement; PRIVATE Inhalt: STRING; mündliche_Informationsbestandteile: LIST [0:?] OF POINTER TO Mündliches_Informationsobjekt; übergeordnetes_Aggregat: OPTIONAL POINTER TO Mündliches_Informationsobjekt; PUBLIC CONSTRUCTOR erzeugen(); Anhang B Formale Spezifikation der Modellierungssprache Seite 204 VIRTUAL DESTRUCTOR löschen(); END_CLASS; CLASS Informationsgruppe SUBCLASS OF Passives_Modellelement; PRIVATE IT-Informationsbestandteile: LIST [0:?] OF POINTER TO IT_Informationsobjekt; Papier-Informationsbestandteile: LIST [0:?] OF POINTER TO Papierinformationsobjket; Mündliche_Informationsbestandteile: LIST [0:?] OF POINTER TO Mündliches_Informationsobjekt; übergeordnetes_Aggregat: OPTIONAL POINTER TO Informationsgruppe; PUBLIC CONSTRUCTOR erzeugen(); VIRTUAL DESTRUCTOR löschen(); WHERE R1: IF self.IT_Informationsbestandteile = NIL AND self.Papier_Informationsbestandteile = NIL THEN FALSE; ELSE IF self.IT_Informationsbestandteile = NIL AND self.Mündliche_Informationsbestandteile = NIL THEN FALSE; ELSE IF self.Papier_Informationsbestandteile = NIL AND self.Mündliche_Informationsbestandteile = NIL THEN FALSE; ELSE TRUE; END_CLASS;